London, Ralph L.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Reviews and commentary

Valcourt, Richard R., Peake, Hayden B., Mulcahy, Kevin V., Erskine, Ralph, Kross, Peter, London, Herbert, Johnson, Loch K.

Journal:

International Journal of Intelligence and CounterIntelligence

Year:

1990

Language:

english

File:

PDF, 1.67 MB

english, 1990

2

Proving programs correct: Some techniques and examples

Ralph L. London

Journal:

BIT Numerical Mathematics

Year:

1970

Language:

english

File:

PDF, 998 KB

english, 1970

3

Uterine Leiomyomata in Relation to Insulin-like Growth Factor–I, Insulin, and Diabetes

Donna D. Baird, Greg Travlos, Ralph Wilson, David B. Dunson, Michael C. Hill, Aimee A. D'Aloisio, Stephanie J. London and Joel M. Schectman

Journal:

Year:

2009

Language:

english

File:

PDF, 1.14 MB

english, 2009

4

Automatic program verification I: A logical basis and its implementation

Shigeru Igarashi, Ralph L. London, David C. Luckham

Journal:

Acta Informatica

Year:

1975

Language:

english

File:

PDF, 1.83 MB

english, 1975

5

[ACM Press the international conference - Los Angeles, California (1975.04.21-1975.04.23)] Proceedings of the international conference on Reliable software - - An interactive program verification system

Good, Donald I., London, Ralph L., Bledsoe, W. W.

Year:

1975

Language:

english

File:

PDF, 949 KB

english, 1975

6

Factors affecting the measurement of mercury emissions from soils with flux chambers

Wallschläger, Dirk, Turner, Ralph R., London, Jacqueline, Ebinghaus, Ralf, Kock, Hans H., Sommar, Jonas, Xiao, Zifan

Journal:

Journal of Geophysical Research

Year:

1999

Language:

english

File:

PDF, 1.49 MB

english, 1999

7

An interactive program verification system

Good, Donald I., London, Ralph L., Bledsoe, W. W.

Journal:

IEEE Transactions on Software Engineering

Year:

1975

Language:

english

File:

PDF, 927 KB

english, 1975

8

Computer Interval Arithmetic: Definition and Proof of Correct Implementation

Good, Donald I., London, Ralph L.

Journal:

Journal of the ACM

Year:

1970

Language:

english

File:

PDF, 649 KB

english, 1970

9

Experimental basis for laser-plasma interactions in ignition hohlraums at the National Ignition Facility

Froula, D. H., Divol, L., London, R. A., Berger, R. L., Döppner, T., Meezan, N. B., Ralph, J., Ross, J. S., Suter, L. J., Glenzer, S. H.

Journal:

Physics of Plasmas

Year:

2010

Language:

english

File:

PDF, 658 KB

english, 2010

10

Abstraction and verification in Alphard: defining and specifying iteration and generators

Shaw, Mary, Wulf, William A., London, Ralph L.

Journal:

Communications of the ACM

Year:

1977

Language:

english

File:

PDF, 7.13 MB

english, 1977

11

[ACM Press ACM conference - Las Cruces, New Mexico, United States (1972.01.06-1972.01.07)] Proceedings of ACM conference on Proving assertions about programs - - Correctness of a compiler for a Lisp subset

London, Ralph L.

Year:

1972

Language:

english

File:

PDF, 567 KB

english, 1972

12

Exploiting workstations and displays in verification systems

Abdali, S. Kamal, London, Ralph L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1985

File:

PDF, 232 KB

1985

13

Abstraction and verification in Alphard

Shaw, Mary, Wulf, Wm A., London, Ralph L.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1977

Language:

english

File:

PDF, 42 KB

english, 1977

14

[ACM Press the 1974 annual conference - Not Known (1974..-..)] Proceedings of the 1974 annual conference on - ACM 74 - The application of a symbolic mathematical system to program verification

London, Ralph L., Musser, David R.

Year:

1974

Language:

english

File:

PDF, 917 KB

english, 1974

15

[ACM Press the 1964 19th ACM national conference - Not Known (1964..-..)] Proceedings of the 1964 19th ACM national conference on - - A computer program for discovering and proving recognition rules for Backus Normal Form grammars

London, Ralph L.

Year:

1964

Language:

english

File:

PDF, 375 KB

english, 1964

16

[ACM Press the ACM annual conference - Boston, Massachusetts, United States (1972.08.01-1972.08.01)] Proceedings of the ACM annual conference on - ACM'72 - The current state of proving programs correct

London, Ralph L.

Year:

1972

Language:

english

File:

PDF, 461 KB

english, 1972

17

[ACM Press the 1978 annual conference - Washington, D.C., United States (1978.12.04-1978.12.06)] Proceedings of the 1978 annual conference on - ACM 78 - Validating The Utility Of Abstraction Techniques

Shaw, Mary, Feldman, Gary, Fitzgerald, Robert, Hilfinger, Paul, Kimura, Izumi, London, Ralph L., Rosenberg, Jonathan, Wulf, Wm. A.

Year:

1978

Language:

english

File:

PDF, 336 KB

english, 1978

18

Certification of algorithm 245 [M1]:treesort 3:proof of algorithms---a new kind of certification

London, Ralph L.

Journal:

Communications of the ACM

Year:

1970

Language:

english

File:

PDF, 900 KB

english, 1970

19

United States Activities of Foreigners and Tax Treaties

Barry J. London and Ralph B. Kelley

Journal:

Year:

1995

Language:

english

File:

PDF, 875 KB

english, 1995

20

The relationship of amniotic fluid fluorescence polarization to neonatal lung function***

Cavalieri, Ralph L., Beck, Jeanne C., Brand, Ludwig, Mitzner, Wayne, London, W.T., Johnson, John W.C.

Journal:

American Journal of Obstetrics and Gynecology

Year:

1981

Language:

english

File:

PDF, 4.71 MB

english, 1981

21

United States Activities of Foreigners and Tax Treaties

Barry J. London and Ralph B. Kelley

Journal:

Year:

1994

Language:

english

File:

PDF, 1.04 MB

english, 1994

22

Abstraction and verification in Alphard

Shaw, Mary, Wulf, Wm A., London, Ralph L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1977

Language:

english

File:

PDF, 42 KB

english, 1977

23

Abstraction and verification in Alphard

Shaw, Mary, Wulf, Wm A., London, Ralph L.

Journal:

ACM SIGPLAN Notices

Year:

1977

Language:

english

File:

PDF, 42 KB

english, 1977

24

Correctness of a compiler for a Lisp subset

London, Ralph L.

Journal:

ACM SIGACT News

Year:

1972

Language:

english

File:

PDF, 567 KB

english, 1972

25

Uterine Leiomyomata in Relation to Insulin-like Growth Factor-I, Insulin, and Diabetes

Baird, Donna D., Travlos, Greg, Wilson, Ralph, Dunson, David B., Hill, Michael C., DʼAloisio, Aimee A., London, Stephanie J., Schectman, Joel M.

Journal:

Year:

2009

Language:

english

File:

PDF, 308 KB

english, 2009

26

Correctness of a compiler for a Lisp subset

London, Ralph L.

Journal:

ACM SIGPLAN Notices

Year:

1972

Language:

english

File:

PDF, 567 KB

english, 1972

27

Vitamin D and Risk of Pregnancy-Related Hypertensive Disorders

Magnus, Maria C., Miliku, Kozeta, Bauer, Anna, Engel, Stephanie M., Felix, Janine F., Jaddoe, Vincent W. V., Lawlor, Debbie A., London, Stephanie J., Magnus, Per, McGinnis, Ralph, Nystad, Wenche, Page

Journal:

Obstetric and Gynecologic Survey

Year:

2018

Language:

english

File:

PDF, 77 KB

english, 2018